Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
411	EnergyMetrics Bill Verification & Validation Ensuring energy bill accuracy The future is now Add to Reading List Source URL: energyadvice.com.au Language: English - Date: 2014-05-20 00:44:33 Water supply Energy conservation Utility submeter Business software Business Energy industry Energy accounting software Energy Energy economics Technology
412	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
413	Avionics Solutions Engineering Development, Verification and Certification ENSCO Avionics, Inc. provides safety- and mission-critical engineering solutions for advanced avionics systems. Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-09-25 15:42:30 Safety Technology Computing Systems engineering Software requirements DO-254 DO-178C Life-critical system Verification Avionics Electronics Embedded systems
414	TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-04-15 11:46:35 Hardware verification languages Assertion Debugging Logic in computer science Tesla Roadster Clang Rust C E Software engineering Computing Computer programming
415	Sea Ice product verification and validation report OSI SAF IOP Ocean and Sea Ice SAF Product Verification and Validation Report Add to Reading List Source URL: osisaf.met.no Language: English - Date: 2010-04-08 06:21:37 Systems engineering Science Meteorology Food safety Software quality Validation HIRLAM Verification and validation Verification Atmospheric sciences Pharmaceutical industry Validity
416	Compliance and Quality Building Blocks for a Successful Verification Process of a Tier-1 ECU More than 150 vehicle models are equipped with the Add to Reading List Source URL: www.mostforum.com Language: English - Date: 2015-02-17 10:55:16 Measurement Test automation Test suite Test case Black-box testing Test Software testing Evaluation Manufacturing
417	FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2010-03-15 18:26:20 X86 architecture Assembly languages X86 assembly language Return statement Behavior Software bug Program slicing CPUID Decompiler Software engineering Computing Computer programming
418	Frédéric Pothon ACG Solutions DO-330/ED-215 Benefits of the New Tool Qualification Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-01-25 10:45:09 Embedded systems Systems engineering Safety Technology Electronics DO-178C DO-178B Validation Verification and validation Software development Software requirements Avionics
419	E Mail: Web: http://www.linkitsoftware.com What to do if your video demonstration CD does not work Verification of system requirements: • Add to Reading List Source URL: www.ez-maintenance.com Language: English - Date: 2008-07-14 11:51:53 User interface techniques Double-click Computer icon Start menu Windows Explorer Features new to Windows Vista System software Software Microsoft Windows
420	Automated Image-Based Verification Of Road Databases* 1 M. Gerke1, Ch. Heipke1, A. Busch2 IPI - Institute of Photogrammetry and GeoInformation University of Hannover Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Software engineering Computer programming Geodesy Measurement Surveying Geographic information system JavaScript Photogrammetry Pose Computer vision Computing Cartography

UPDATE